$(\mathrm{sa16}=1)\lor (\mathrm{sa21}=1)\land (\mathrm{csa2}=1)$ $(\mathrm{sa9}=1)\land (\mathrm{sa8}=1)\land (\mathrm{sa2}=1)\land (\mathrm{sa3}=1)\land (\mathrm{sa1}=1)\land (\mathrm{sa5}=1)\land (\mathrm{sa7}=1)\land (\mathrm{sa6}=1)$$(\mathrm{sa35}=1)\land (\mathrm{sa34}=1)\land (\mathrm{sa33}=1)$$(\mathrm{sa25}=1)\land (\mathrm{sa24}=1)\land (\mathrm{sa22}=0)$ $\mathrm{sa22}=0$ $(\mathrm{sa32}=1)\land (\mathrm{sa30}=1)$ $((\mathrm{sa10}=1)\land (\mathrm{sa16}=1))\lor ((\mathrm{sa11}=1)\land (\mathrm{sa16}=1))$ $\mathrm{sa13}=0$ $\mathrm{sa21}=1$ $(\mathrm{sa19}=0)\land (\mathrm{sa4}=0)$ $\mathrm{sa26}=1$$\mathrm{sa30}=1$$\mathrm{csa5}=1$$\mathrm{csa5}=1$$(\mathrm{csa5}=1)\lor (\mathrm{sa24}=0)\lor (\mathrm{csa4}=1)$$(\mathrm{csa7}=1)\lor (\mathrm{csa3}=1)$$\mathrm{csa8}=1$ $\mathrm{csa1}=1$